%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Pre-processing                          : 0.1s
%% Hypothesis Space Generation             : 0.052s
%% Conflict analysis                       : 4.138s
%%   - Brave Orders                        : 4.138s
%% Counterexample search                   : 0.767s
%%   - CDOEs                               : 0.548s
%%   - CDPIs                               : 0.218s
%% Hypothesis Search                       : 16.2s
%% Propagation                             : 10.4s
%%   - CDOEs                               : 10.4s
%% Total                                   : 32.607s
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:~ category(1).[1@4]

